Preliminary checklist of the bees of St. Eustatius, Lesser Antilles (Hymenoptera: Apoidea: Anthophila)

We present a preliminary checklist of bees (Hymenoptera: Apoidea: Anthophila) compiled for St. Eustatius, an island located in the Lesser Antilles of the eastern Caribbean. The list has nine species, including six that have not been previously documented on St. Eustatius. One species is exotic to the Caribbean, one species is found only on St. Eustatius and St. Kitts, and five species occur elsewhere in the Lesser and Greater Antilles. Two of the collected specimens could not be assigned to a species; their geographical distributions are unknown

Recursive Program Optimization Through Inductive Synthesis Proof Transformation

The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more efficient algorithm. We describe a working proof transformation system which, by exploiting the duality between mathematical induction and recursion, employs the novel strategy of optimizing recursive programs by transforming inductive proofs. We compare and contrast this approach with the more traditional approaches to program transformation, and highlight the benefits of proof transformation with regards to search, correctness, automatability and generality

The impact of water on free-falling bodies

Report discussed measures to cushion impact on body falling into water. Heavy loads are generated by impact and by pressures of water cavity collapsing onto the body

The construction of a reliable potential for GeO2 from first-principles

The construction of a reliable potential for GeO2, from first-principles, is described. The obtained potential, which includes dipole polarization effects, is able to reproduce all the studied properties (structural, dynamical and vibrational) to a high degree of precision with a single set of parameters. In particular, the infrared spectrum was obtained with the expression proposed for the dielectric function of polarizable ionic solutions by Weis et al. [J.M. Caillol, D. Levesque and J.J. Weis, J. Chem. Phys. 91, 5544 (1989)]. The agreement with the experimental spectrum is very good, with three main bands that are associated to tetrahedral modes of the GeO2 network. Finally, we give a comparison with a simpler pair-additive potential.Comment: 9 pages, 8 figure

Applications of inertial navigation and modern control theory to the all weather landing problem

Inertial navigation and automatic landing control theory applied to instrument landing proble

A survey of program transformation with special reference to unfold/fold style program development

This paper consists of a survey of current, and past, work on *program transformation* for the purpose of optimization. We first discuss some of the general methodological frameworks for program modification, such as *analogy*, *explanation based learning*, *partial evaluation*, *proof theoretic optimization*, and the *unfold/fold* technique. These frameworks are not mutually exclusive, and the latter, unfold/fold, is certainly the most widely used technique, in various guises, for program transformation. Thus we shall often have occasion to: compare the relative merits of systems that employ the technique in some form, *and*; compare the unfold/fold systems with those that employ alternative techniques. We also include (and compare with unfold/fold) a brief survey of recent work concerning the use of *formal methods* for program transformation

Characterizing heterogeneous dynamics at hydrated electrode surfaces

In models of Pt 111 and Pt 100 surfaces in water, motions of molecules in the first hydration layer are spatially and temporally correlated. To interpret these collective motions, we apply quantitative measures of dynamic heterogeneity that are standard tools for considering glassy systems. Specifically, we carry out an analysis in terms of mobility fields and distributions of persistence times and exchange times. In so doing, we show that dynamics in these systems is facilitated by transient disorder in frustrated two-dimensional hydrogen bonding networks. The frustration is the result of unfavorable geometry imposed by strong metal-water bonding. The geometry depends upon the structure of the underlying metal surface. Dynamic heterogeneity of water on the Pt 111 surface is therefore qualitatively different than that for water on the Pt 100 surface. In both cases, statistics of this adlayer dynamic heterogeneity responds asymmetrically to applied voltage.Comment: 6 page, 4 figure

Alien Registration- Madden, P. W. (Old Orchard Beach, York County)

https://digitalmaine.com/alien_docs/3003/thumbnail.jp